Fred B. Schneider - PDFSEARCH.IO - Document Search Engine

Fred B. Schneider
Results: 85

#	Item
41	The Fail-Stop Processor Approach* Fred B. Schneider Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-16 13:49:00 Software engineering Fault-tolerant computer systems Failure Reliability engineering Fault-tolerant system Assertion Parallel computing Database Fault-tolerant design Computing Systems engineering Software quality
42	A Graphical Interface for CHIP Lorenzo Alvisi Fred B. Schneider The University of Texas at Austin Cornell University Department of Computer Sciences Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-16 16:04:38 Software engineering Program animation Breakpoint Debugger Mouse GUI widget Button Nintendo Entertainment System On-line Debugging Tool Computing Debugging Humanâ€“computer interaction
43	Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:22:06 Model theory Boolean algebra Logical syntax First-order logic Substitution Propositional formula Interpretation Modal logic Axiom Logic Mathematical logic Propositional calculus
44	LNCS[removed]Lifting Reference Monitors from the Kernel Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-12 23:57:02 Computer network security Fred B. Schneider Year of birth missing Kernel Trusted computing base Linux kernel Operating system Protection mechanism Policy Computer security Computing Security
45	Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 29, 1996 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:15:36 Propositional calculus Model theory Boolean algebra Logical syntax First-order logic Propositional formula Axiom Interpretation Substitution Logic Mathematical logic Mathematics
46	Byzantine Generals in Action" Implementing Fail-Stop Processors FRED B. SCHNEIDER Cornell University A fail-stop processor halts instead of performing an erroneous state transformation that might be Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:57:06 Tandem Computers Ring Kernel Fail-fast Cellular neural network Supercomputer architecture Computing Fault-tolerant computer systems Computer architecture
47	Certified In-lined Reference Monitoring on .NET ∗ Kevin W. Hamlen Greg Morrisett Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 23:08:05 Entailment Logical consequence Metalogic Limit Type safety Logic Deduction Propositional calculus
48	Logical Attestation: An Authorization Architecture for Trustworthy Computing Emin Gün Sirer Willem de Bruijn† Patrick Reynolds‡ Alan Shieh Kevin Walsh Dan Williams Fred B. Schneider Computer Science Department, Corn Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-09-24 15:57:36 Trusted computing Identity management Cryptography Procfs Unix Next-Generation Secure Computing Base Kernel Nexus Trusted Platform Module Computer architecture Software System software
49	INTERNATIONAL REVIEW OF UK RESEARCH IN COMPUTER SCIENCE Fred B. Schneider and Mike Rodd, editors EPSRC BCS IEE Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-06-13 12:38:12 Cyberinfrastructure E-Science Engineering and Physical Sciences Research Council Knowledge Computer science UK Research Councils Computer scientist Large-scale Complex IT Systems Heritage science Science United Kingdom Science and technology in the United Kingdom
50	Computability Classes for Enforcement Mechanisms Kevin W. Hamlen, Greg Morrisett, and Fred B. Schneider Technical Report: TR2003-1908 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2003-08-27 22:53:08 Computability Symbol

UPDATE